void do_tests() {
  unique_mapping(
      ({ /* sizeof() == 1 */
       (: 1 :)
       }),
      "#^#         #^#");
}
